Barrier Synchronization - Georgia Tech - Advanced Operating Systems